home *** CD-ROM | disk | FTP | other *** search
- Does the variable "#sfvar#" appear anywhere in #x01# or #x02#?
-
- If the variable for which you are solving is eliminated, the expression is a contradiction or an identity. Can you decide which?
-
- #x01# is not #eqlrel# #x02#. Do we have a contradiction or identity?
-
- Clue: Contradictions are always false, and identities are always true. Is #x01# #eqlrel# #x02#?
-
-